automatic reasoningの例文

例文

もっと例文:   1  2

1. "' CryptoVerif "'is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.
2. This enigmatic component of crosswords is faced by a massive use of database of solved crosswords, and by automatic reasoning on a properly organized knowledge base of wired rules.
3. Separation logic is the basis of a number of tools for automatic and semi-automatic reasoning about programs, and is used in the Infer program analyzer currently deployed at Facebook.
4. According to his website, his current research interests include " knowledge representation and automatic reasoning, especially the representation of space and time; the semantic web; AI and computer science ".
5. The original knowledge base is proprietary, but a smaller version of the knowledge base, intended to establish a common vocabulary for automatic reasoning, was released as OpenCyc under an open source ( Apache ) license.